/home/correa/workspace/pargo-instances/clique/dimacs/C125.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.01 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 519 rows, 644 columns, and 1704 nonzeros.
Reduced MIP has 125 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.68 ticks)
Probing time = 0.00 sec. (0.41 ticks)
Tried aggregator 1 time.
Presolve time = 0.00 sec. (0.69 ticks)
Probing time = 0.00 sec. (0.41 ticks)
Clique table members: 520.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.01 sec. (6.80 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      125.0000      300     --- 
      0     0       45.4038   125        0.0000       45.4038      300     --- 
*     0+    0                           30.0000       45.4038      300   51.35%
      0     0       44.8240   125       30.0000      User: 24      370   49.41%
*     0+    0                           32.0000       44.8240      370   40.07%
      0     0       43.6061   125       32.0000      Cuts: 50      468   36.27%
      0     0       42.3889   125       32.0000      Cuts: 53      628   32.47%
*     0+    0                           33.0000       42.3889      628   28.45%
      0     0       42.1585   125       33.0000      Cuts: 40      697   27.75%
      0     0       41.8718   126       33.0000      Cuts: 32      772   26.88%
      0     0       41.7434   126       33.0000      Cuts: 37      819   26.50%
      0     0       41.5943   124       33.0000      Cuts: 23      878   26.04%
      0     0       41.5293   126       33.0000      Cuts: 17      910   25.85%
      0     0       41.4275   126       33.0000      Cuts: 23      954   25.54%
      0     0       41.3063   126       33.0000      Cuts: 19     1008   25.17%
      0     0       41.2226   126       33.0000 UserPurge2: 12     1048   24.92%
      0     0       41.0563   124       33.0000 UserPurge2: 12     1112   24.41%
*     0+    0                           34.0000       41.0563     1112   20.75%
      0     0       40.9232   126       34.0000      Cuts: 33     1171   20.36%
      0     0       40.8982   126       34.0000      Cuts: 10     1201   20.29%
      0     0       40.8651   125       34.0000      Cuts: 15     1233   20.19%
      0     0       40.8317   126       34.0000 UserPurge2: 21     1270   20.09%
      0     0       40.8034   126       34.0000 UserPurge2: 12     1298   20.01%
      0     0       40.7861   126       34.0000 UserPurge2: 6     1329   19.96%
      0     0       40.7743   126       34.0000       Cuts: 6     1349   19.92%
      0     0       40.7674   126       34.0000 UserPurge2: 5     1362   19.90%
      0     0       40.7626   126       34.0000       Cuts: 8     1385   19.89%
      0     0       40.7510   126       34.0000 UserPurge2: 12     1418   19.86%
      0     0       40.7189   125       34.0000 UserPurge2: 11     1459   19.76%
      0     0       40.7148   125       34.0000       Cuts: 5     1472   19.75%
      0     0       40.7124   125       34.0000 UserPurge2: 5     1483   19.74%
      0     0       40.6967   125       34.0000 UserPurge2: 4     1512   19.70%
      0     0       40.6926   125       34.0000       Cuts: 7     1530   19.68%
      0     0       40.6920   125       34.0000 UserPurge2: 2     1533   19.68%
      0     0       40.6858   125       34.0000       Cuts: 8     1549   19.66%
      0     0       40.6851   125       34.0000 UserPurge2: 1     1556   19.66%
      0     0       40.6826   125       34.0000 UserPurge2: 3     1564   19.65%
      0     0       40.6778   126       34.0000 UserPurge2: 1     1574   19.64%
      0     0       40.6722   126       34.0000 UserPurge2: 2     1587   19.62%
      0     0       40.6633   126       34.0000       Cuts: 6     1601   19.60%
      0     0       40.6569   126       34.0000 UserPurge2: 2     1630   19.58%
      0     0       40.6390   126       34.0000 UserPurge2: 7     1656   19.53%
      0     0       40.5611   125       34.0000 UserPurge2: 6     1708   19.30%
      0     0       40.5227   126       34.0000      Cuts: 10     1747   19.18%
      0     0       40.4923   126       34.0000       Cuts: 8     1787   19.10%
      0     0       40.4601   126       34.0000 UserPurge2: 4     1818   19.00%
      0     0       40.4561   126       34.0000 UserPurge2: 4     1830   18.99%
      0     0       40.4517   126       34.0000 UserPurge2: 5     1849   18.98%
      0     0       40.4361   125       34.0000 UserPurge2: 4     1880   18.93%
      0     0       40.4280   124       34.0000       Cuts: 8     1899   18.91%
      0     0       40.4104   126       34.0000 UserPurge2: 5     1931   18.85%
      0     0       40.4040   126       34.0000 UserPurge2: 5     1952   18.84%
      0     0       40.3960   125       34.0000 UserPurge2: 4     1975   18.81%
      0     0       40.3774   125       34.0000 UserPurge2: 6     2000   18.76%
      0     0       40.3598   125       34.0000      Cuts: 10     2042   18.71%
      0     0       40.3288   126       34.0000 UserPurge2: 8     2080   18.61%
      0     0       40.3224   125       34.0000 UserPurge2: 7     2105   18.60%
      0     0       40.3198   125       34.0000 UserPurge2: 1     2118   18.59%
      0     0       40.3180   125       34.0000 UserPurge2: 2     2125   18.58%
      0     0       40.3171   125       34.0000 UserPurge2: 3     2137   18.58%
      0     0       40.3079   126       34.0000       Cuts: 6     2165   18.55%
      0     0       40.3043   126       34.0000       Cuts: 3     2186   18.54%
      0     0       40.3021   126       34.0000       Cuts: 4     2199   18.54%
      0     0       40.3009   125       34.0000 UserPurge2: 2     2219   18.53%
      0     0       40.2908   126       34.0000 UserPurge2: 5     2238   18.50%
      0     0       40.2882   126       34.0000 UserPurge2: 1     2248   18.49%
      0     0       40.2879   126       34.0000 UserPurge2: 1     2251   18.49%
      0     0       40.2857   126       34.0000 UserPurge2: 5     2266   18.49%
      0     0       40.2850   126       34.0000       User: 2     2272   18.49%
      0     0       40.2797   126       34.0000 UserPurge2: 5     2288   18.47%
      0     0       40.2748   126       34.0000 UserPurge2: 3     2310   18.46%
      0     0       40.2674   126       34.0000 UserPurge2: 4     2327   18.43%
      0     0       40.2573   125       34.0000 UserPurge2: 5     2347   18.40%
      0     0       40.2331   125       34.0000 UserPurge2: 4     2376   18.33%
      0     0       40.2270   125       34.0000 UserPurge2: 4     2396   18.31%
      0     0       40.2204   125       34.0000 UserPurge2: 6     2411   18.30%
      0     0       40.2168   125       34.0000 UserPurge2: 3     2428   18.28%
      0     0       40.2042   126       34.0000 UserPurge2: 3     2449   18.25%
      0     0       40.1901   126       34.0000 UserPurge2: 5     2483   18.21%
      0     0       40.1864   126       34.0000 UserPurge2: 5     2501   18.20%
      0     0       40.1803   126       34.0000 UserPurge2: 2     2517   18.18%
      0     0       40.1617   125       34.0000       Cuts: 7     2552   18.12%
      0     0       40.1504   126       34.0000 UserPurge2: 1     2569   18.09%
      0     0       40.1490   125       34.0000 UserPurge2: 2     2580   18.09%
      0     0       40.1408   125       34.0000 UserPurge2: 2     2597   18.06%
      0     0       40.1342   125       34.0000 UserPurge2: 3     2618   18.04%
      0     0       40.1287   124       34.0000 UserPurge2: 3     2641   18.03%
      0     0       40.1233   126       34.0000 UserPurge2: 4     2659   18.01%
      0     0       40.1132   125       34.0000 UserPurge2: 3     2685   17.98%
      0     0       40.0971   125       34.0000 UserPurge2: 4     2707   17.93%
      0     0       40.0938   125       34.0000 UserPurge2: 5     2719   17.92%
      0     0       40.0872   126       34.0000 UserPurge2: 3     2738   17.90%
      0     0       40.0795   125       34.0000 UserPurge2: 2     2756   17.88%
      0     0       40.0741   125       34.0000 UserPurge2: 5     2772   17.86%
      0     0       40.0678   126       34.0000 UserPurge2: 5     2786   17.85%
      0     0       40.0652   125       34.0000 UserPurge2: 2     2800   17.84%
      0     0       40.0623   126       34.0000 UserPurge2: 3     2815   17.83%
      0     0       40.0559   126       34.0000 UserPurge2: 7     2837   17.81%
      0     0       40.0505   124       34.0000 UserPurge2: 5     2856   17.80%
      0     2       40.0505   124       34.0000  Local Cut: 1     2856   17.80%                        0             0
Elapsed time = 5.92 sec. (5189.11 ticks, tree = 0.00 MB, solutions = 5)
      2     4       39.7933   122       34.0000       40.0505     3204   17.80%              x0 N      2      1      2
      5     7       39.2483   121       34.0000       40.0505     3666   17.80%             x46 N      5      4      5
      8    10       38.7171   116       34.0000       40.0505     4197   17.80%             x23 N      8      7      8
     11    13       38.0764   115       34.0000       40.0505     4822   17.80%            x104 N     11     10     11
     26    24       38.9942   113       34.0000       39.9327     6606   17.45%             x43 N     26      0      1
     37    35       36.3143   100       34.0000       39.9327     7718   17.45%              x8 D     37     36     12
     52    46       37.1544   104       34.0000       39.7933     9126   17.04%             x88 D     52     51     10
     68    58       38.1015   111       34.0000       39.5015    10563   16.18%             x32 D     68     67      5
     82    72       35.2565    95       34.0000       39.5015    11280   16.18%             x34 D     82     81     19
    138   112       35.3636    93       34.0000       38.9942    16788   14.69%             x83 D    138    137     13
Elapsed time = 9.22 sec. (8544.85 ticks, tree = 0.43 MB, solutions = 5)
    202   156       35.4375    87       34.0000       38.4948    21452   13.22%             x48 D    202    201     14
    269   195       35.8393    95       34.0000       38.2302    27025   12.44%            x117 D    269    268     13
    336   236       35.2099    93       34.0000       38.0057    32482   11.78%             x39 D    336    335      9
    404   276       35.0252    83       34.0000       37.7905    37788   11.15%             x68 D    404    403     17
    480   312       36.3651    83       34.0000       37.6172    43086   10.64%             x92 U    480    193      6
    556   344       36.3117    86       34.0000       37.3921    48654    9.98%             x44 D    556    555      8
    627   381       35.3030    91       34.0000       37.3032    54251    9.72%             x21 D    627    626     11
    704   408       35.1479    88       34.0000       37.0666    59890    9.02%             x86 D    704    703     10
    786   428        cutoff             34.0000       36.8914    66153    8.50%             x62 U    786    121      9
    872   444       35.6741    99       34.0000       36.7427    72950    8.07%             x83 D    872    871     19
Elapsed time = 17.05 sec. (18194.56 ticks, tree = 0.70 MB, solutions = 5)
    962   460       35.8468    88       34.0000       36.6057    78915    7.66%             x38 U    962    539      9
   1053   461       35.0877    87       34.0000       36.4703    85921    7.27%             x83 U   1053    439      9
   1154   444       35.1205    87       34.0000       36.2875    93284    6.73%             x66 N   1154   1153     13
   1266   418       35.1429    78       34.0000       36.1202   100819    6.24%             x84 U   1266    910     12
   1406   352        cutoff             34.0000       35.8983   110438    5.58%             x64 U   1406     20     21
   1689   105        cutoff             34.0000       35.3920   124034    4.09%             x12 U   1689    904     11

User cuts applied:  584

Root node processing (before b&c):
  Real time             =    5.90 sec. (5174.06 ticks)
Sequential b&c:
  Real time             =   16.64 sec. (18957.70 ticks)
                          ------------
Total (root+branch&cut) =   22.54 sec. (24131.76 ticks)
Solution status = Optimal
Solution value  = 34
Clique in initial model  = 519
Clique separated  = 3021
Rango separated  = 436
Rango con pesos separated  = 236
Número de nudos B&B  = 1796
Número de llamadas a PL  = 174
Buscador de cliques violadas: Russian Dolls
Buscador de cliques proyectables: Goloso
Calculador de lambda: Russian Dolls
Tipo de proyección: Clique
Tamaño máximo de clique de proyección: 3
Número de iteraciones para búsqueda de clique violada: 5
Número máximo de iteraciones de proyección sin desigualdad violada: 50
Violación mínima: 0.01
Número de vértices para grafos chicos: 50
